CONFIG_CMD_FAT=y
CONFIG_BOOTM_NETBSD=y
CONFIG_CMD_CRC32=y
CONFIG_SYS_LONGHELP=y
CONFIG_SYS_LOAD_ADDR="(V2M_BASE + 0x10000000)"
CONFIG_CMD_CACHE=y
CONFIG_BOOTDELAY="-1"
CONFIG_SYS_HELP_CMD_WIDTH=8
CONFIG_NR_DRAM_BANKS=y
CONFIG_FS_FAT=y
CONFIG_BOOTM_RTEMS=y
CONFIG_SYS_CBSIZE=512
CONFIG_BOOTM_LINUX=y
CONFIG_SYS_CPU="armv8"
CONFIG_BOOTP_PXE_CLIENTARCH=0x100
CONFIG_PL011_CLOCK=24000000
CONFIG_CMD_NET=y
CONFIG_ENV_SIZE=0x1000
CONFIG_SUPPORT_RAW_INITRD=y
CONFIG_SPL_BUILD=y
CONFIG_SYS_MALLOC_LEN="(CONFIG_ENV_SIZE + 128 * 1024)"
CONFIG_SYS_TEXT_BASE=0x80000000
CONFIG_CMD_FLASH=y
CONFIG_CMD_SAVEENV=y
CONFIG_SYS_BARGSIZE=$(CONFIG_SYS_CBSIZE)
CONFIG_BOOTM_PLAN9=y
CONFIG_SYS_SERIAL0="V2M_UART0"
CONFIG_SYS_SERIAL1="V2M_UART1"
CONFIG_BOOTARGS="console=ttyAMA0 root=/dev/ram0"
CONFIG_CMD_MEMORY=y
CONFIG_SYS_MAXARGS=64
CONFIG_PL011_SERIAL=y
CONFIG_CMD_RUN=y
CONFIG_SYS_PBSIZE="(CONFIG_SYS_CBSIZE + sizeof(CONFIG_SYS_PROMPT) + 16)"
CONFIG_BOOTP_HOSTNAME=y
CONFIG_BOARDDIR="board/armltd/vexpress64"
CONFIG_OF_LIBFDT=y
CONFIG_CMDLINE_EDITING=y
CONFIG_PHYS_64BIT=y
CONFIG_BOOTCOMMAND="bootm $kernel_addr $ramdisk_addr:$ramdisk_size"
CONFIG_REMAKE_ELF=y
CONFIG_SYS_BOOT_RAMDISK_HIGH=y
CONFIG_BOOTP_VCI_STRING="U-boot.armv8.vexpress_aemv8a"
CONFIG_ZLIB=y
CONFIG_CMD_GO=y
CONFIG_BOOTP_BOOTFILESIZE=y
CONFIG_CMD_BOOTD=y
CONFIG_CMD_BOOTM=y
CONFIG_SMC9111=y
CONFIG_SYS_HZ=1000
CONFIG_DOS_PARTITION=y
CONFIG_GZIP=y
CONFIG_SYS_VENDOR="armltd"
CONFIG_IDENT_STRING=" vexpress_aemv8a"
CONFIG_SYS_BAUDRATE_TABLE="{ 9600, 19200, 38400, 57600, 115200 }"
CONFIG_SYS_DCACHE_OFF=y
CONFIG_SYS_HUSH_PARSER=y
CONFIG_SYS_SDRAM_BASE="PHYS_SDRAM_1"
CONFIG_SYS_PROMPT_HUSH_PS2="> "
CONFIG_CMD_ECHO=y
CONFIG_BOOTP_GATEWAY=y
CONFIG_EXTRA_ENV_SETTINGS="loadaddr=0x80100000\0kernel_addr=0x100000\0ramdisk_addr=0x800000\0ramdisk_size=0x2000000\0fdt_high=0xa0000000\0console=ttyAMA0,38400n8\0"
CONFIG_BOOTP_PXE=y
CONFIG_SYS_INIT_SP_ADDR="(CONFIG_SYS_SDRAM_BASE + 0x7fff0)"
CONFIG_SYS_ARCH="arm"
CONFIG_BAUDRATE=115200
CONFIG_SYS_BOARD="vexpress64"
CONFIG_ENV_IS_NOWHERE=y
CONFIG_CMD_IMPORTENV=y
CONFIG_SYS_CNTFRQ="(0x1800000)"
CONFIG_CMD_EXPORTENV=y
CONFIG_PARTITIONS=y
CONFIG_ARM64=y
CONFIG_SYS_MEMTEST_END="(V2M_BASE + 0x80000000)"
CONFIG_CMD_ENV=y
CONFIG_SYS_NO_FLASH=y
CONFIG_SYS_DEF_EEPROM_ADDR=0
CONFIG_SMC9111_BASE="(0x1a000000)"
CONFIG_CMD_SOURCE=y
CONFIG_SYS_PROMPT="VExpress# "
CONFIG_BOOTP_BOOTPATH=y
CONFIG_CMD_PXE=y
CONFIG_SYS_MEMTEST_START="V2M_BASE"
CONFIG_CMD_IMI=y
CONFIG_CONS_INDEX=0
CONFIG_LMB=y
CONFIG_SYS_ICACHE_OFF=y
CONFIG_ARM=y
CONFIG_CMD_BDI=y
CONFIG_STATIC_RELA=y
CONFIG_BOOTSTAGE_USER_COUNT=20
CONFIG_MENU=y
CONFIG_DEFAULT_DEVICE_TREE="vexpress64"
CONFIG_CMD_MII=y
CONFIG_PL01x_PORTS="{(void *)CONFIG_SYS_SERIAL0, (void *)CONFIG_SYS_SERIAL1}"
